/home/correa/workspace/pargo-instances/clique/dimacs/san200_0.7_2.clq
Found incumbent of value 0.000000 after 0.00 sec. (0.03 ticks)
Tried aggregator 1 time.
MIP Presolve eliminated 0 rows and 1 columns.
Reduced MIP has 1396 rows, 1596 columns, and 7902 nonzeros.
Reduced MIP has 200 binaries, 0 generals, 0 SOSs, and 0 indicators.
Presolve time = 0.01 sec. (4.77 ticks)
Probing time = 0.00 sec. (1.46 ticks)
Tried aggregator 1 time.
Presolve time = 0.01 sec. (4.81 ticks)
Probing time = 0.00 sec. (1.46 ticks)
Clique table members: 1398.
MIP emphasis: balance optimality and feasibility.
MIP search method: traditional branch-and-cut.
Parallel mode: none, using 1 thread.
Root relaxation solution time = 0.03 sec. (21.10 ticks)

        Nodes                                         Cuts/
   Node  Left     Objective  IInf  Best Integer    Best Bound    ItCnt     Gap         Variable B NodeID Parent  Depth

*     0+    0                            0.0000      200.0000      440     --- 
      0     0       18.0000    93        0.0000       18.0000      440     --- 
*     0+    0                           14.0000       18.0000      440   28.57%
      0     0       18.0000    70       14.0000      User: 18      440   28.57%
      0     0       18.0000    74       14.0000      Cuts: 53      563   28.57%
      0     0       18.0000    81       14.0000      User: 38      647   28.57%
      0     0       18.0000    75       14.0000      User: 36      710   28.57%
*     0+    0                           15.0000       18.0000      710   20.00%
      0     0       18.0000    62       15.0000      Cuts: 54      780   20.00%
      0     0       18.0000    74       15.0000      Cuts: 60      930   20.00%
      0     0       18.0000    53       15.0000      User: 30      930   20.00%
      0     0       18.0000    77       15.0000      Cuts: 35     1147   20.00%
      0     0       18.0000    57       15.0000      Cuts: 50     1222   20.00%
      0     0       18.0000    80       15.0000      Cuts: 53     1364   20.00%
      0     2       18.0000    45       15.0000  Local Cut: 1     1364   20.00%                        0             0
Elapsed time = 67.01 sec. (16559.34 ticks, tree = 0.00 MB, solutions = 3)
      1     3       18.0000   102       15.0000       18.0000     6081   20.00%             x13 N      1      0      1
      2     4       18.0000    76       15.0000       18.0000     7441   20.00%             x13 N      2      0      1
      3     5       18.0000    67       15.0000       18.0000     7937   20.00%              x2 N      3      2      2
      4     6       17.9236    78       15.0000       18.0000     8379   20.00%             x29 N      4      3      3
      5     7       17.8451    86       15.0000       18.0000     8584   20.00%            x170 N      5      4      4
      6     8       17.6953    90       15.0000       18.0000     8919   20.00%             x62 N      6      5      5
      7     9       17.5595    88       15.0000       18.0000     9194   20.00%             x21 N      7      6      6
      8    10       17.5388    89       15.0000       18.0000     9280   20.00%             x41 N      8      7      7
     18    20       17.2120    88       15.0000       18.0000     9932   20.00%             x38 D     18     17     17
     80    68       17.9697    77       15.0000       18.0000    14359   20.00%             x92 U     80      1      2
Elapsed time = 322.69 sec. (45858.83 ticks, tree = 0.70 MB, solutions = 3)
    120   104       18.0000    87       15.0000       18.0000    17396   20.00%            x139 D    120    119     11
    175   159       17.9000   100       15.0000       18.0000    21217   20.00%             x19 D    175    174     66
    244   220       16.3636    61       15.0000       18.0000    25548   20.00%            x190 D    244    243     70
    333   287       16.8889    60       15.0000       18.0000    28752   20.00%            x167 U    333    144     36
*   369     0      integral     0       18.0000       18.0000    30262    0.00%              x5 U    369    141     33

User cuts applied:  915

Root node processing (before b&c):
  Real time             =   66.90 sec. (16438.38 ticks)
Sequential b&c:
  Real time             =  260.55 sec. (33901.49 ticks)
                          ------------
Total (root+branch&cut) =  327.45 sec. (50339.87 ticks)
Solution status = Optimal
Solution value  = 18
Clique in initial model  = 1396
Clique separated  = 846
Rango separated  = 10
Rango con pesos separated  = 347
Número de nudos B&B  = 371
Número de llamadas a PL  = 46
Buscador de cliques violadas: Russian Dolls
Buscador de cliques proyectables: Goloso
Calculador de lambda: Russian Dolls
Tipo de proyección: Clique
Tamaño máximo de clique de proyección: 3
Número de iteraciones para búsqueda de clique violada: 8
Número máximo de iteraciones de proyección sin desigualdad violada: 50
Violación mínima: 0.01
Número de vértices para grafos chicos: 50
